/*
 * Copyright (C) 2018
 *
 * Brick Yang <printfxxx@163.com>
 *
 * This program is free software. You can redistribute it and/or
 * modify it as you like.
 */

/**
 * @file	pmu_arm64.c
 * @brief	Userspace demo for arm64 pmu
 */

#include <stdio.h>

#include "pmu_arm64.h"

int main(void)
{
	printf("ccnt: 0x%016lx\n", pmu_ccnt_read());
	printf("evcnt0: 0x%08x\n", pmu_evcnt0_read());
	printf("evcnt1: 0x%08x\n", pmu_evcnt1_read());
	printf("evcnt2: 0x%08x\n", pmu_evcnt2_read());
	printf("evcnt3: 0x%08x\n", pmu_evcnt3_read());
	printf("evcnt4: 0x%08x\n", pmu_evcnt4_read());
	printf("evcnt5: 0x%08x\n", pmu_evcnt5_read());
	printf("evcnt0_1: 0x%016lx\n", pmu_evcnt0_1_read());
	printf("evcnt2_3: 0x%016lx\n", pmu_evcnt2_3_read());
	printf("evcnt4_5: 0x%016lx\n", pmu_evcnt4_5_read());

	return 0;
}
